Existential active integrity constraints

Active integrity constraints (AICs) are a useful formalism to express and policies restore consistency in databases violating them. However, AICs do not allow users different kinds of commonly arising practice, such as foreign keys. In this paper, we propose existential active (EAICs), powerful extension that allows us wide range used ontological systems. We investigate properties EAICs. Specifically, show there exists “representative” set founded updates, called universal, which suffices for query answering. As might contain an infinite number each size, study syntactic restrictions ensuring finiteness, well the existence single universal update.